Automated Reasoning on Feature Models
نویسندگان
چکیده
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL community it is well recognized that variability in SPLs is increasing by the thousands. Hence, an automatic support is needed to deal with variability in SPL. Most of the current proposals for automatic reasoning on SPL are not devised to cope with extra– functional features. In this paper we introduce a proposal to model and reason on an SPL using constraint programming. We take into account functional and extra–functional features, improve current proposals and present a running, yet feasible implementation.
منابع مشابه
Using Constraint Programming to Reason on Feature Models
Feature models have been cited as one of the main contributions to model software product families. However, there is still a gap in product family engineering which is the automated reasoning on feature models. In this paper we describe how to reason on feature models using constraint programming. Although, there are a few attempts to reason on feature models there are two main drawbacks in th...
متن کاملTransforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains
Product line models are important artefacts in product line engineering. One of the most popular languages to model the variability of a product line is the feature notation. Since the initial proposal of feature models in 1990, the notation has evolved in different aspects. One of the most important improvements allows specify the number of instances that a feature can have in a particular pro...
متن کاملAutomated Analysis of Stateful Feature Models
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning problem based on constraint programming. Such extraction is driven by a catalogue of basic and compound operations. Much has been done since, renaming the problem as the automated analysis of feature models, a widely accepted problem in the Software Product Line (SPL) comm...
متن کاملAutomated Analysis of Orthogonal Variability Models. A First Step
The automated analysis of variability models is a challenge to be reached in SPLE (Software Product Line Engineering). Only recently researchers have devoted their attention to the reasoning on these models. However, their work has focused on Feature Models. Orthogonal Variability Modeling (OVM) is one of the approaches for modeling variability in software product line. Hence, an automated supp...
متن کاملAbductive Reasoning and Automated Analysis of Feature Models: How are they connected?
In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to be used on decision making. Most of the proposals rely on logics to give solution to different operations. This extraction of knowledge using logics is known as deductive reasoning. One of the most useful operations are explanations that provide the reasons why some other operat...
متن کاملModels of clinical reasoning with a focus on general practice: a critical review
Introduction: Diagnosis lies at the heart of general practice.Every day general practitioners (GPs) visit patients with awide variety of complaints and concerns, with often minor butsometimes serious symptoms. General practice has many featureswhich differentiate it from specialty care setting, but during thelast four decades little attention was paid to clinical reasoningin general practice. T...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005